Dr Juliana Bowles (née Küster-Filipe) is a senior lecturer in Computer Science at University of St Andrews. Her research interests include formal methods and dependability, logics and formal verification, and healthcare applications. She leads the Health Informatics group at Computer Science in St Andrews, was the PI of a recently completed EPSRC project on “Automated Conflict Resolution in Clinical Pathways”, and is the PI and coordinator of a 3 year EU Horizon 2020 project on “Securing Medical Data in Smart Patient-Centric Healthcare Systems” (grant number 826278, €4.37m, started Jan 2019). She contributes to the HDR UK Scotland RI on Precision Therapeutics.
